$\forall$$p$:IdLnk List, $i$, $j$:Id. lconnects($p$;$i$;$j$) $\in$ Prop